00100	(DE PATH (X GOAL G) (PATHA NIL (LIST X)))
00500	
00600	(DE PATHA (S W) (COND ((NULL W) (QUOTE NO))
00700	((EQ GOAL (CAR W)) (LIST GOAL)) 
00800	(T ((LAMBDA (P) (COND ((EQ P (QUOTE NO)) (PATHA S (CDR W)))
00900		(T (CONS (CAR W) P)))) (PATHA (CONS (CAR W) S)
01000	(SSUB (CDR (ASSOC (CAR W) G)) S))))))
01100	
01200	(DE SSUB (U V) (COND ((NULL U) NIL) ((MEMBER (CAR U) V)
01300	(SSUB (CDR U) V)) (T (CONS (CAR U) (SSUB (CDR U) V)))))
01400	
01500	(SETQ GG (QUOTE ((A B C) (B A C D) (C A B E) (D B E F)
01600	(E C D) (F D G) (G F))))